The Semantic Model Features of the Statically Typed Language of Functional-dataflow Parallel Programming

The features of a statically typed functional-dataflow model parallel computation and its mapping to the language programming Smile are considered. To provide support for architecture-independent programming, we used: functional style, an implicit managing calculations on data readiness, structured objects that representation various types parallelism. A distinctive feature approach is inclusion in special asynchronous can generate events partial filling. These stream swarm. Each these has own specifics control by calculations. used process same type arrives sequentially asynchronously at random intervals. swarm describe independent or different types, which it possible perform massive operations. use streams swarms situations as well their into each other program shown. An analysis made possibilities transforming formed constructs languages writing programs modern architectures.